منابع مشابه
Reduction of constraint systems
Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into well constrained, over-, and underconstrained subsystems. This paper also gives an efficient method to decompose well constrained systems into irreducible ones....
متن کاملSimulation Reduction as Constraint
The simulation relation is largely used in Model Checking where it allows to reduce Kripke structures, on which verification takes place, while preserving significant fragments of Temporal Logic. Our approach to the problem of simulation computation here has two aims: on the one hand we want to provide a framework in which developing algorithms competitive with the best ones in the literature, ...
متن کاملMediated Conflict Recovery by Constraint Relaxation
Dynamic events in a multiagent environment can be a source of conflict. We model the network of inter-agent commitments as a constraint graph. Conflicts arise when an event prevents fulfillment of a commitment, resulting in an infeasible constraint graph. Constraint relaxation directed by a mediating agent is used to reconfigure the commitment graph. We investigate this general approach in the ...
متن کاملConflict Management for Constraint-based Recommendation
Constraint-based recommendation systems are well-established in several domains like cars, computers, and financial services. Such recommendation tasks are based on sets of product constraints and customer preferences. Customer preferences reduce the number of products which are relevant for the customer. In scenarios like that it may happen that the set of customer preferences is inconsistent ...
متن کاملDynamic Constraint Satisfaction with Conflict Management in Design
In this paper, we focus on techniques for constraint-based design tasks with continuous variables in dynamic environments. We show how design spaces can be explored within an intelligent CAD system using a dynamic constraint satisfaction framework and a connict resolution paradigm. Navigation between diierent design spaces is controlled by assumptions the designer makes in situations of incompl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Child Language
سال: 2003
ISSN: 0305-0009,1469-7602
DOI: 10.1017/s0305000903005658